predicate calculuss造句
例句與造句
- the atomic formula is called atom for short in predicate calculus
在謂詞演算中,有時將原子公式簡稱為原子。 - this is not expressible as a first-order predicate calculus property
這就是一個一階謂詞演算不可表述的屬性。 - also, first-order predicate calculus isn't good enough anyway
同時，從各方面來說，一階謂詞演算都不是足夠好。 - this kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus
這種情況下的斷言似乎就需要實(shí)現(xiàn)特定的語言擴(kuò)展，于是一些人建議引入一階謂詞演算。 - this kind of assertion seems to require special \ r \ nlanguage extensions and has led people to suggest introducing \ r \ nfirst-order predicate calculus
這種情況下的斷言似乎就需要實(shí)現(xiàn)特定的語言擴(kuò)展，于是一些人建議引入一階謂詞演算。 - It's difficult to find predicate calculuss in a sentence. 用predicate calculuss造句挺難的
- informally, xquery is designed to be able to construct any xml document that can be computed from input xml documents using the power of the first-order predicate calculus
xquery被非正式地設(shè)計為可以構(gòu)造xml文檔，而這些xml文檔是通過對輸入的xml文檔進(jìn)行一階謂詞演算得出的。 - the medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems . they are fit for dealing with incomplete information
中介邏輯命題演算系統(tǒng)mp~m和中介邏輯謂詞演算系統(tǒng)mf~m是一種適用于處理不完全信息的新的邏輯系統(tǒng)。 - so anything that you may want to express on a complex object that would seem to require first-order predicate calculus can be expressed actually quite nicely within the confines of the programming language
所以對于一個復(fù)雜對象，任何看起來需要一階謂詞演算才能描述的東西，實(shí)際都可以在編程語言范疇內(nèi)實(shí)現(xiàn)十分精細(xì)地表述。 - this paper introduces first-order predicate calculus and assertion method from precondition to postcondition into the research of refactoring . and a logic deduction system is put forward in this paper : refactoring reliability deduction system
引入了一階謂詞演算和前后斷言方法，并且自定義了一個重構(gòu)可靠性證明的邏輯推理系統(tǒng)：重構(gòu)可靠性推演系統(tǒng)。 - this has led some people who design the specification mechanisms for programming languages, or in the case of uml, for modeling languages, to include facilities from first-order predicate calculus as a language extension
這就促使一些人在編程語言的描述機(jī)制和建模語言（如統(tǒng)一建模語言，uml）的處理機(jī)制中加進(jìn)了部分一階謂詞演算的東西，作為一種功能擴(kuò)展。 - the second occasion where boolean expressions may seem restrictive is one that scares most people who have looked at the issue from a theoretical perspective : the language of boolean expressions is relatively limited and doesn't have first-order predicate calculus
很多人從理論角度考察時，又驚懼地發(fā)現(xiàn)布爾表達(dá)式形似柔弱的第二種情況：使用布爾表達(dá)式的語言有局限性，因為不具備一階謂詞演算特性。 - the medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm is a new logic system modified from the existing medium logic system . this system is fit for dealing with incomplete information . it can act as the theory foundation for dealing with incomplete information
中介邏輯命題演算系統(tǒng)mpm和中介邏輯謂詞演算系統(tǒng)mfm是在改造原有的中介邏輯系統(tǒng)的基礎(chǔ)上提出的一種新的邏輯系統(tǒng),該邏輯系統(tǒng)特別適用于處理不完全信息,可以作為處理不完全信息的理論基礎(chǔ)。